Orc-x: Combining Orchestrations and Xquery Orc-x: Combining Orchestrations and Xquery Orc-x: Combining Orchestrations and Xquery
نویسندگان
چکیده
v
منابع مشابه
Orc-X: Combining Orchestrations and XQuery
In designing a language for distributed computing, the handling of data and distribution can be viewed as largely orthogonal concerns, as long as the data model supports the communication requirements of the distribution model. This view contrasts strongly with approaches based on distributed objects, which typically enforce a tight coupling of state and behavior. We have previously presented O...
متن کاملReasoning frameworks for Service-based Orchestrations
An orchestration is a evaluation which invokes (multiple) remote services in order to compute some required result(s). By assuming that services are pre-specified it is possible to assign meanings to multi-threaded orchestrations. Orc is a structured concurrent calculus which can be used to schedule timeouts and manage multi-threaded service-based orchestrations. Two formal definitions of Orc a...
متن کاملN o d ’ ordre : 4015 ANNÉE 2009
Web Services orchestrations require a firm mathematical basis for their development. We start from the Orc formalism proposed by J. Misra and co-workers, at Austin University. Orc is small and elegant and captures the essence of orchestrations. We translate Orc into colored Petri net systems, a generalization of Petri nets allowing to handle recursion—this formalism was recently proposed by Dev...
متن کاملQoS-aware management of monotonic service orchestrations
Abstract We study QoS-aware management of service orchestrations, specifically for orchestrations having a data-dependent workflow. Our study supports multi-dimensional QoS. To capture uncertainty in performance and QoS, we provide support for probabilistic QoS. Under the above assumptions, orchestrations may be non-monotonic with respect to QoS, meaning that strictly improving the QoS of a ser...
متن کاملEvent Structure Semantics of Orc Sidney Rosario , David Kitchin , Albert Benveniste
One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of service. Analysis of non-functional properties requires a precise formal semantics for the language in which the system is written; but labelled transition systems and trace semantics, which are comm...
متن کامل